Characterizing Behavioural Congruences for Petri Nets

نویسندگان

  • Mogens Nielsen
  • Lutz Priese
  • Vladimiro Sassone
چکیده

We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and maximal step traces, and from the corresponding four notions of bisimulation, viz., weak and weak step bisimulation and their maximal versions. We characterize such congruences via universal contexts and via games, providing in such a way an understanding of their discerning powers. Introduction In the early days of Petri net theory some important classes of Petri nets (PN) were introduced, such as Marked Graphs (MG), State Machines (SM), Free Choice nets (FC), Simple nets (SN), and inhibitory Petri nets (iPN). The ‘expressive power’ hierarchy among these classes is folklore, namely MG,SM ≺ FC ≺ SN ≺ PN ≺ iPN, where, for instance, SN ≺ PN reads that simple nets do not possess the modelling power of arbitrary Petri nets. In proving this fact, Patil [18] shows that no simple net possesses the behaviour of the so-called ‘3-smoker-net’, i.e., that for a certain notion ≈ of behavioural equivalence, ‘3-smoker-net’ 6≈ SN , for all simple nets SN. However, ≈ was not defined formally; the clever and convincing argument remained at a rather informal level. The same consideration applies to various decomposition results of that time. For instance, another folklore result at the Project MAC of the MIT was that every Petri net can be obtained as ‘composition’ of few, very simple components. Also in this case, the semantic and the composition operations were not defined formally. The proofs simply gave a decomposition technique preserving firing sequences and some ‘concurrency properties’. Looking back to these and to related works (e.g. [6, 4, 24, 10, 19]), it is now clear that the intuition behind ≈ was the today-well-know idea of behavioural congruence, i.e., for a fixed notion of behaviour B,

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might interact with the surrounding environment and endowed with a colimit-based composition operation. We show that natural notions of bisimilarity...

متن کامل

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

Accessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets

In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995